Analysing Spy Games